@book{alma993258393502466,
author = {Jerrum, Mark.},
address = {Edinburgh},
booktitle = {Complementary partial orders and rectangle packing},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 190-85},
title = {Complementary partial orders and rectangle packing / by Mark Jerrum.},
year = {1985},
}

@book{alma994098023502466,
author = {Jerrum, Mark.},
address = {Edinburgh},
booktitle = {The elusiveness of large cliques in a random graph},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 9-90},
title = {The elusiveness of large cliques in a random graph / by Mark Jerrum.},
year = {1990},
}

@book{alma993581063502466,
author = {Kalorkoti, K. A.},
address = {Edinburgh},
booktitle = {Turing degrees and the world and conjugacy problems for finitely presented groups},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 287-89},
title = {Turing degrees and the world and conjugacy problems for finitely presented groups / K. Kalorkoti.},
year = {1989},
}

@misc{alma993581023502466,
author = {Tofte, Mads.},
address = {Edinburgh},
booktitle = {Operational semantics and polymorphic type inference},
language = {eng},
publisher = {University of Edinburgh},
series = {CST- ; 52-88},
title = {Operational semantics and polymorphic type inference / Mads Tofte.},
year = {1988},
}

@book{alma993424753502466,
author = {Fürer, Martin.},
address = {Edinburgh},
booktitle = {The complexity of the inequivalence problem for regular expressions with intersection},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 59-80},
title = {The complexity of the inequivalence problem for regular expressions with intersection / by Martin Fürer.},
year = {1980},
}

@book{alma993424873502466,
author = {McLellan, P.},
address = {Edinburgh},
booktitle = {LEGOS : user reference manual},
edition = {Revised edition.},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 49-79},
title = {LEGOS : user reference manual / by P. McLellan.},
year = {1979},
}

@book{alma993425393502466,
author = {Valiant, Leslie G.},
address = {Edinburgh},
booktitle = {Negative results on counting},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 38-79},
title = {Negative results on counting / by L.G. Valiant.},
year = {1979},
}

@book{alma993425423502466,
author = {Cohn, Avra Jean.},
address = {Edinburgh},
booktitle = {High level proof in LCF},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 35-78},
title = {High level proof in LCF / by Avra Cohn.},
year = {1978},
}

@book{alma993424803502466,
author = {Valiant, Leslie G.},
address = {Edinburgh},
booktitle = {Universality considerations in VLSI circuits},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 54-80},
title = {Universality considerations in VLSI circuits / by L.G. Valiant.},
year = {1980},
}

@book{alma993424823502466,
author = {Atkinson, M. P.},
address = {Edinburgh},
booktitle = {Data management for interactive graphics},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 51-80},
title = {Data management for interactive graphics / by M.P. Atkinson.},
year = {1980},
}

@book{alma993424843502466,
author = {Leszczyłowski, Jacek.},
address = {Edinburgh},
booktitle = {An experiment with "Edinburgh LCF"},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 50-80},
title = {An experiment with "Edinburgh LCF" / by Jacek Leszczylowski.},
year = {1980},
}

@book{alma993425373502466,
author = {Valiant, Leslie G.},
address = {Edinburgh},
booktitle = {Completeness classes in algebra},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 40-79},
title = {Completeness classes in algebra / L.G. Valiant.},
year = {1979},
}

@book{alma995599803502466,
author = {Wood, Graham.},
address = {Edinburgh},
booktitle = {Microprogram design at the processor level},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 36-79},
title = {Microprogram design at the processor level / by Graham Wood.},
year = {1979},
}

@book{alma995599853502466,
author = {Snir, Marc.},
address = {Edinburgh},
booktitle = {On the size complexity of monotone formulas},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 46-79},
title = {On the size complexity of monotone formulas / by Marc Snir.},
year = {1979},
}

@misc{alma996764593502466,
author = {Bruns, Glenn R. (Glenn Robert)},
address = {Edinburgh},
booktitle = {Process abstraction in the verification of temporal properties},
language = {eng},
publisher = {University of Edinburgh},
series = {CST- ; 141-98},
title = {Process abstraction in the verification of temporal properties / Glenn R. Bruns.},
year = {1998},
}

@book{alma9910346523502466,
author = {Smith, Lawrence D.},
address = {Edinburgh},
booktitle = {ECCE : the Edinburgh Compatible Context Editor},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 24-78},
title = {ECCE : the Edinburgh Compatible Context Editor / by L.D. Smith.},
year = {1978},
}

@misc{alma9911203403502466,
author = {Berry, Dave.},
address = {Edinburgh},
booktitle = {Generating program animators from programming language semantics},
keywords = {Programming languages (Electronic computers) -- Semantics -- Theses},
language = {eng},
publisher = {University of Edinburgh},
series = {CST- ; 79-91},
title = {Generating program animators from programming language semantics / by Dave Berry.},
year = {1991},
}

@book{alma9912589423502466,
author = {Stephens, P. D.},
address = {Edinburgh},
booktitle = {The IMP language and compiler},
language = {eng},
publisher = {[Edinburgh University]},
series = {EMAS report ; 6},
title = {The IMP language and compiler / P.D. Stephens.},
year = {1977},
}

@book{alma9912589323502466,
author = {Rees, D. J.},
address = {Edinburgh},
booktitle = {The EMAS director},
language = {eng},
publisher = {[Edinburgh University]},
series = {EMAS report ; 2},
title = {The EMAS director / D.J. Rees.},
year = {1977},
}

@book{alma9912589403502466,
author = {Wight, A. S.},
address = {Edinburgh},
booktitle = {The EMAS archiving program},
language = {eng},
publisher = {[Edinburgh University]},
series = {EMAS report ; 5},
title = {The EMAS archiving program / A.S. Wight.},
year = {1977},
}

@misc{alma995566383502466,
author = {Pollack, Robert.},
address = {Edinburgh},
booktitle = {The theory of LEGO : a proof checker for the extended calculus of constructions},
language = {eng},
publisher = {University of Edinburgh},
series = {CST- ; 115-95},
title = {The theory of LEGO : a proof checker for the extended calculus of constructions / by Robert Pollack.},
year = {1994},
}

@book{alma993423503502466,
author = {Valiant, Leslie G.},
address = {Edinburgh},
booktitle = {The complexity of combinatorial computations : an introduction},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 30-78},
title = {The complexity of combinatorial computations : an introduction / by L.G. Valiant.},
year = {1978},
}

@book{alma993423733502466,
author = {Casey, Liam Maurice.},
address = {Edinburgh},
booktitle = {Computer networks : a small survey},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 23-78},
title = {Computer networks : a small survey / by L. Casey.},
year = {1978},
}

@book{alma993424373502466,
author = {Rees, D. J.},
address = {Edinburgh},
booktitle = {DCAP : David's Circuit Assignment Program},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 3-77},
title = {DCAP : David's Circuit Assignment Program / by D.J. Rees.},
year = {1977},
}

@book{alma993424583502466,
author = {Smith, Lawrence D.},
address = {Edinburgh},
booktitle = {SIM : a gate level simulator},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 60-80},
title = {SIM : a gate level simulator / by L.D. Smith.},
year = {1980},
}

@book{alma993424593502466,
author = {Smith, Lawrence D.},
address = {Edinburgh},
booktitle = {The elementary structural description language},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 53-80},
title = {The elementary structural description language / by L.D. Smith.},
year = {1980},
}

@book{alma993424533502466,
author = {Leszczyłowski, Jacek.},
address = {Edinburgh},
booktitle = {Theory of FP systems in Edinburgh LCF},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 61-80},
title = {Theory of FP systems in Edinburgh LCF / by Jacek Leszczylowski.},
year = {1980},
}

@book{alma993423913502466,
author = {McLellan, P.},
address = {Edinburgh},
booktitle = {LAYOUT},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 21-78},
title = {LAYOUT / by P. McLellan.},
year = {1978},
}

@book{alma993259293502466,
author = {Hennessy, Matthew.},
address = {Edinburgh},
booktitle = {An algebraic theory of fair asynchronous communicating processes},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 171-84},
title = {An algebraic theory of fair asynchronous communicating processes / by Matthew Hennessy.},
year = {1984},
}

@book{alma993259303502466,
author = {Nixon, I. M.},
address = {Edinburgh},
booktitle = {I.F. : an idiomatic floorplanner},
edition = {Reprint with modifications.},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 170-84},
title = {I.F. : an idiomatic floorplanner / by I.M. Nixon.},
year = {1984},
}

@book{alma993259473502466,
author = {Hennessy, Matthew.},
address = {Edinburgh},
booktitle = {Proving systolic systems correct},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 162-84},
title = {Proving systolic systems correct / by Matthew Hennessy.},
year = {1984},
}

@book{alma993259443502466,
author = {Milne, George J.},
address = {Edinburgh},
booktitle = {Towards verifiably correct VLSI design},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 164-84},
title = {Towards verifiably correct VLSI design / by George Milne.},
year = {1984},
}

@book{alma993259023502466,
author = {Prasad, K. V. S. (Kuchi Venkata Sathyanarayara)},
address = {Edinburgh},
booktitle = {Specification and proof of a simple fault tolerant system in CCS},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 178-84},
title = {Specification and proof of a simple fault tolerant system in CCS / by K.V.S. Prasad.},
year = {1984},
}

@book{alma993258933502466,
author = {Schoett, Oliver.},
address = {Edinburgh},
booktitle = {Behavioural correctness of data representations},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 185-85},
title = {Behavioural correctness of data representations / by Oliver Schoett.},
year = {1985},
}

@book{alma993259243502466,
author = {Tarlecki, Andrzej.},
address = {Edinburgh},
booktitle = {Quasi-varieties in abstract algebraic institutions},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 173-84},
title = {Quasi-varieties in abstract algebraic institutions / by Andrzej Tarlecki.},
year = {1984},
}

@book{alma993259003502466,
author = {Blake, Andrew.},
address = {Edinburgh},
booktitle = {Inferring surface shape by specular stereo},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 179-84},
title = {Inferring surface shape by specular stereo / by Andrew Blake.},
year = {1984},
}

@book{alma993259313502466,
author = {Costa, Gerardo.},
address = {Edinburgh},
booktitle = {A metric characterization of fair computations in CCS},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 169-84},
title = {A metric characterization of fair computations in CCS / by Gerardo Costa.},
year = {1984},
}

@book{alma993259433502466,
author = {Tarlecki, Andrzej.},
address = {Edinburgh},
booktitle = {Abstract algebraic institutions which strongly admit initial semantics},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 165-84},
title = {Abstract algebraic institutions which strongly admit initial semantics / by Andrzej Tarlecki.},
year = {1984},
}

@book{alma993514933502466,
author = {Schmidt, David A.},
address = {Edinburgh},
booktitle = {Detecting global variables in denotational semantics},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 143-83},
title = {Detecting global variables in denotational semantics / by David Schmidt.},
year = {1983},
}

@book{alma993514943502466,
author = {Shields, M. W. (Mike W.)},
address = {Edinburgh},
booktitle = {Non-sequential behaviours, 2},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 144-83},
title = {Non-sequential behaviours, 2 / by M.W. Shields.},
year = {1983},
}

@book{alma993514953502466,
author = {Sokołowski, S. (Stefan)},
address = {Edinburgh},
booktitle = {An LCF proof of soundness of Hoare's logic : a paper without a happy ending},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 146-83},
title = {An LCF proof of soundness of Hoare's logic : a paper without a happy ending / by Stefan Sokolowski.},
year = {1983},
}

@book{alma993514883502466,
author = {Sokołowski, S. (Stefan)},
address = {Edinburgh},
booktitle = {A note on tactics in LCF},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 140-83},
title = {A note on tactics in LCF / by Stefan Sokolowski.},
year = {1983},
}

@book{alma993514913502466,
author = {Schmidt, David A.},
address = {Edinburgh},
booktitle = {Natural deduction theorem proving in set theory},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 142-83},
title = {Natural deduction theorem proving in set theory / by David Schmidt.},
year = {1983},
}

@book{alma993514903502466,
author = {Schmidt, David A.},
address = {Edinburgh},
booktitle = {A programming notation for tactical reasoning},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 141-83},
title = {A programming notation for tactical reasoning / by David Schmidt.},
year = {1983},
}

@book{alma994410533502466,
author = {Hillston, Jane.},
address = {Edinburgh},
booktitle = {A tool to enhance model exploitation},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 20-92},
title = {A tool to enhance model exploitation / by Jane Hillston.},
year = {1992},
}

@book{alma993255553502466,
author = {Deas, Alexander Roger.},
address = {Edinburgh},
booktitle = {Chromatic idioms for automated VLSI floorplanning},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 255-88},
title = {Chromatic idioms for automated VLSI floorplanning / by Alex Deas.},
year = {1988},
}

@book{alma994220713502466,
author = {Brebner, Gordon.},
address = {Edinburgh},
booktitle = {Configurable array logic circuits for computing network error detection codes},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 16-91},
title = {Configurable array logic circuits for computing network error detection codes / by Gordon Brebner.},
year = {1991},
}

@book{alma993915283502466,
author = {Lees, Timothy.},
address = {Edinburgh},
booktitle = {On context streams and the boundedness of context flow graphs},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 2-90},
title = {On context streams and the boundedness of context flow graphs / by Timothy Lees.},
year = {1990},
}

@book{alma993915303502466,
author = {Lees, Timothy.},
address = {Edinburgh},
booktitle = {On context stream tuples and higher-order context flow graphs},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 4-90},
title = {On context stream tuples and higher-order context flow graphs / by Timothy Lees.},
year = {1990},
}

@book{alma9912580853502466,
author = {Li, Wei.},
address = {Edinburgh},
booktitle = {An operational semantics of tasking and exception handling in Ada},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 99-82},
title = {An operational semantics of tasking and exception handling in Ada / by Wei Li.},
year = {1982},
}